@TechReport{bek3tr,
  title        = {Symbolic Finite State Transducers: Algorithms and Applications},
  author       = "Nikolaj Bjorner  and Pieter Hooimeijer and Benjamin Livshits and David Molnar Margus Veanes},
  year         = "2011",
  month        = jul,
  institution  = "Microsoft Research",
  number       = "MSR-TR-2011-85",
}